<html>
<head><meta charset="utf-8"><title>weekly meeting 2020-01-23 #54818 · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html">weekly meeting 2020-01-23 #54818</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="186387653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186387653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186387653">(Jan 23 2020 at 13:27)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="897">@T-compiler/meeting</span> ; the triage meeting will be starting in 1 hour 33 minutes</p>



<a name="186387706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186387706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186387706">(Jan 23 2020 at 13:27)</a>:</h4>
<p>I will be doing <a href="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202020-01-23.20.2354818/near/186387673" title="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202020-01-23.20.2354818/near/186387673">pre-triage in a parallel topic</a></p>



<a name="186387793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186387793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186387793">(Jan 23 2020 at 13:28)</a>:</h4>
<p>This week we are scheduled to hear from <span class="user-group-mention" data-user-group-id="1122">@WG-profile-guided-optimization</span> (which is ... heh, retired. Gotta change that part of the scheduler), and <span class="user-group-mention" data-user-group-id="1325">@WG-pipelining</span> .</p>



<a name="186387848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186387848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186387848">(Jan 23 2020 at 13:29)</a>:</h4>
<p>Will <span class="user-mention" data-user-id="116015">@Alex Crichton</span> be around to provide an update? (nnethercote is on PTO until Jan 28).</p>



<a name="186393862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186393862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alex Crichton <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186393862">(Jan 23 2020 at 14:33)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> I can yeah, but there is also no update to give! It's likely safe to archive the WG now</p>



<a name="186393875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186393875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186393875">(Jan 23 2020 at 14:33)</a>:</h4>
<p>okay thanks <span class="user-mention" data-user-id="116015">@Alex Crichton</span> !</p>



<a name="186393881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186393881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alex Crichton <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186393881">(Jan 23 2020 at 14:33)</a>:</h4>
<p>Or at least no update that I know of</p>



<a name="186396659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186396659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186396659">(Jan 23 2020 at 15:01)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="897">@T-compiler/meeting</span>! Add a <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> emoji to show you're here :)</p>



<a name="186396673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186396673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186396673">(Jan 23 2020 at 15:01)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="897">@T-compiler/meeting</span>! Add a <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> emoji to show you're here :)</p>



<a name="186396705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186396705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186396705">(Jan 23 2020 at 15:01)</a>:</h4>
<p>wow what is up with duplication...</p>



<a name="186396835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186396835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186396835">(Jan 23 2020 at 15:02)</a>:</h4>
<p>(is it just on my zulip client? Or do others see the duplicate messages?)</p>



<a name="186396844"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186396844" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186396844">(Jan 23 2020 at 15:02)</a>:</h4>
<p>I do as well.</p>



<a name="186396885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186396885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186396885">(Jan 23 2020 at 15:03)</a>:</h4>
<p>okay well if its just on the initial one I wrote, then I won't worry about it</p>



<a name="186396925"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186396925" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186396925">(Jan 23 2020 at 15:03)</a>:</h4>
<p>so lets start with five minutes for ...</p>



<a name="186396927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186396927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186396927">(Jan 23 2020 at 15:03)</a>:</h4>
<h1>Announcements</h1>



<a name="186396975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186396975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186396975">(Jan 23 2020 at 15:04)</a>:</h4>
<p>First up: no design meeting tomorrow</p>



<a name="186397010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397010">(Jan 23 2020 at 15:04)</a>:</h4>
<p>(<span class="user-mention" data-user-id="116009">@nikomatsakis</span> reached out and <span class="user-mention" data-user-id="123856">@Vadim Petrochenkov</span> cannot make either date, and then we failed to follow-up beyond there.)</p>



<a name="186397079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397079">(Jan 23 2020 at 15:05)</a>:</h4>
<p>I think the plan is that we'll discuss <a href="https://github.com/rust-lang/compiler-team/issues/237" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/237">compiler-team#237</a> on Feb 7</p>



<a name="186397088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397088">(Jan 23 2020 at 15:05)</a>:</h4>
<p>but we have to make the announcement, indeed</p>



<a name="186397154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397154">(Jan 23 2020 at 15:06)</a>:</h4>
<p>The subject is "parser library-ification", and I would encourage folks to take a look at the existing write-ups that <span class="user-mention" data-user-id="133169">@matklad</span> and others have prepared there</p>



<a name="186397233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397233">(Jan 23 2020 at 15:06)</a>:</h4>
<p>We would specifically like to discuss the proposal to extract out a portion of the parser that can be shared, to see whether that scheme could work and what complications might arise from it</p>



<a name="186397308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397308">(Jan 23 2020 at 15:07)</a>:</h4>
<p>also: The next release is scheduled for January 30th (a week from today), and "no breakage week" started yesterday. See <a href="https://forge.rust-lang.org/" target="_blank" title="https://forge.rust-lang.org/">https://forge.rust-lang.org/</a></p>



<a name="186397439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397439">(Jan 23 2020 at 15:08)</a>:</h4>
<p>what exactly does "no breakage week" mean?</p>



<a name="186397463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397463">(Jan 23 2020 at 15:08)</a>:</h4>
<p>no tool breakage, I think.</p>



<a name="186397476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397476">(Jan 23 2020 at 15:08)</a>:</h4>
<p>you cannot land a change breaking clippy, rls, rustfmt</p>



<a name="186397483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397483">(Jan 23 2020 at 15:08)</a>:</h4>
<p>(miri can be broken I believe)</p>



<a name="186397485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397485">(Jan 23 2020 at 15:08)</a>:</h4>
<p>ah ok</p>



<a name="186397499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397499">(Jan 23 2020 at 15:09)</a>:</h4>
<p>so PRs would be reverted?</p>



<a name="186397518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397518">(Jan 23 2020 at 15:09)</a>:</h4>
<p>no they would not land</p>



<a name="186397525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397525">(Jan 23 2020 at 15:09)</a>:</h4>
<p>in the first place</p>



<a name="186397545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397545">(Jan 23 2020 at 15:09)</a>:</h4>
<p>do we check tool breakage before landing?</p>



<a name="186397551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397551">(Jan 23 2020 at 15:09)</a>:</h4>
<p>yes</p>



<a name="186397581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397581">(Jan 23 2020 at 15:09)</a>:</h4>
<p>cool! I never saw that</p>



<a name="186397660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397660">(Jan 23 2020 at 15:10)</a>:</h4>
<p>so really its not anything you need to actually think about. Yay!</p>



<a name="186397703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397703">(Jan 23 2020 at 15:10)</a>:</h4>
<p>/me doesn't have such fortunes =D</p>



<a name="186397725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397725">(Jan 23 2020 at 15:11)</a>:</h4>
<p>okay lets get started</p>



<a name="186397743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397743">(Jan 23 2020 at 15:11)</a>:</h4>
<p>today's agenda items are on this hackmd: <a href="https://hackmd.io/YBpyTmQ7S_uPhScJWDwBag?both" target="_blank" title="https://hackmd.io/YBpyTmQ7S_uPhScJWDwBag?both">https://hackmd.io/YBpyTmQ7S_uPhScJWDwBag?both</a></p>



<a name="186397771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397771">(Jan 23 2020 at 15:11)</a>:</h4>
<p>(they are, as usual, derived from the list at <a href="https://github.com/rust-lang/rust/issues/54818" target="_blank" title="https://github.com/rust-lang/rust/issues/54818">#54818</a>)</p>



<a name="186397803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397803">(Jan 23 2020 at 15:11)</a>:</h4>
<p>we have two <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=label%3Abeta-nominated+label%3AT-compiler" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=label%3Abeta-nominated+label%3AT-compiler">beta backport nominations</a></p>



<a name="186397871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397871">(Jan 23 2020 at 15:12)</a>:</h4>
<p>beta nom: "Do not ICE on malformed suggestion spans" <a href="https://github.com/rust-lang/rust/issues/68256" target="_blank" title="https://github.com/rust-lang/rust/issues/68256">#68256</a></p>



<a name="186397951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186397951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186397951">(Jan 23 2020 at 15:13)</a>:</h4>
<p>(that code-path is pretty ICE happy... I fixed an ICE there a while ago as well)</p>



<a name="186398006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398006">(Jan 23 2020 at 15:14)</a>:</h4>
<p>(I sort of shrug on this. Its fine, but the original bug showed that you got useful diagnostics before the ICE occurred, so it was only P-medium priority in the first place.)</p>



<a name="186398116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398116">(Jan 23 2020 at 15:14)</a>:</h4>
<p>but if no one objects, then we might as well backport.</p>



<a name="186398192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398192">(Jan 23 2020 at 15:15)</a>:</h4>
<p><em>unless</em> we want to try to encourage a policy that beta-backports a week before release should be reserved for higher priority items?</p>



<a name="186398244"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398244" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398244">(Jan 23 2020 at 15:16)</a>:</h4>
<p>Interesting</p>



<a name="186398257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398257">(Jan 23 2020 at 15:16)</a>:</h4>
<p>That might indeed make sense</p>



<a name="186398273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398273">(Jan 23 2020 at 15:16)</a>:</h4>
<p>Since said backports will hit stable with relatively little testing</p>



<a name="186398322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398322">(Jan 23 2020 at 15:17)</a>:</h4>
<p>hmm; it seems to me that higher risk backports are the ones that should be avoided especially near release</p>



<a name="186398334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398334">(Jan 23 2020 at 15:17)</a>:</h4>
<p>does higher prio mean higher risk / impact?</p>



<a name="186398342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398342">(Jan 23 2020 at 15:17)</a>:</h4>
<p>no, not necessarily</p>



<a name="186398429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398429">(Jan 23 2020 at 15:18)</a>:</h4>
<p>at least, in my mind, there are some changes that obviously do not inject new faults</p>



<a name="186398434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398434">(Jan 23 2020 at 15:18)</a>:</h4>
<p>I definitely think we should avoid higher  risk, but I would guess higher priority would take both priority and risk into account; i.e., a high priority bug would probably make a higher level of risk acceptable</p>



<a name="186398469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398469">(Jan 23 2020 at 15:18)</a>:</h4>
<p>(since the alternative, a known and terrible bug, is clearly worse)</p>



<a name="186398491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398491">(Jan 23 2020 at 15:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> that seems like the practice we do have , e.g. remember the lifetime elision thing we backported</p>



<a name="186398501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398501">(Jan 23 2020 at 15:19)</a>:</h4>
<p>(which was high risk but also high priority)</p>



<a name="186398535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398535">(Jan 23 2020 at 15:19)</a>:</h4>
<p>there is one more point to be made here: I think <span class="user-mention" data-user-id="119031">@Esteban Küber</span> claimed on PR <a href="https://github.com/rust-lang/rust/issues/68256" target="_blank" title="https://github.com/rust-lang/rust/issues/68256">#68256</a> that the PR is also fixing the quality of some spans that were being ill-constructed.</p>



<a name="186398618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398618">(Jan 23 2020 at 15:20)</a>:</h4>
<p>but I personally don't see much wrong with backporting very low risk &amp; low reward PRs (although I'm not sure how that applies to this PR) near release</p>



<a name="186398646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398646">(Jan 23 2020 at 15:20)</a>:</h4>
<p>so its possible that I was wrong in my claim that the currently issued diagnostic is good enough</p>



<a name="186398842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398842">(Jan 23 2020 at 15:22)</a>:</h4>
<p>...it sounds like we are a go for backport?</p>



<a name="186398887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398887">(Jan 23 2020 at 15:22)</a>:</h4>
<p>Yeah I think I've talked myself into believing that we should probably approve beta-backport here</p>



<a name="186398901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398901">(Jan 23 2020 at 15:22)</a>:</h4>
<p>anyone want to object given issues raised above?</p>



<a name="186398934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186398934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186398934">(Jan 23 2020 at 15:23)</a>:</h4>
<p>beta-approved</p>



<a name="186399052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399052">(Jan 23 2020 at 15:24)</a>:</h4>
<p>beta nom: "Revert parts of <a href="https://github.com/rust-lang/rust/issues/66405" target="_blank" title="https://github.com/rust-lang/rust/issues/66405">#66405</a>." <a href="https://github.com/rust-lang/rust/issues/67471" target="_blank" title="https://github.com/rust-lang/rust/issues/67471">#67471</a></p>



<a name="186399095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399095">(Jan 23 2020 at 15:24)</a>:</h4>
<p>this <em>is</em> a high priority item. Or at least, <span class="user-mention" data-user-id="120989">@nnethercote (PTO Dec 23 - Jan 28)</span> 's intention was that this land in time to avoid the perf regressions hitting stable...</p>



<a name="186399157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399157">(Jan 23 2020 at 15:25)</a>:</h4>
<p>The changes here are larger, but they are reverts</p>



<a name="186399169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399169">(Jan 23 2020 at 15:25)</a>:</h4>
<p>I'd be inclined to backport</p>



<a name="186399206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399206">(Jan 23 2020 at 15:25)</a>:</h4>
<p>yeah I think backport too</p>



<a name="186399313"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399313" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399313">(Jan 23 2020 at 15:26)</a>:</h4>
<p>okay beta-accepted</p>



<a name="186399348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399348">(Jan 23 2020 at 15:27)</a>:</h4>
<p>there is one new PR that is tagged S-waiting-on-team</p>



<a name="186399356"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399356" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399356">(Jan 23 2020 at 15:27)</a>:</h4>
<p>" rustc_hir: add Expr! pattern macro and try it out in a couple places." <a href="https://github.com/rust-lang/rust/issues/68320" target="_blank" title="https://github.com/rust-lang/rust/issues/68320">#68320</a></p>



<a name="186399432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399432">(Jan 23 2020 at 15:28)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="119009">@eddyb</span></p>



<a name="186399482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399482">(Jan 23 2020 at 15:28)</a>:</h4>
<p>I definitely feel the motivation, but I do worry that this will be a obfuscating pattern that we come to regret over time.</p>



<a name="186399566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399566">(Jan 23 2020 at 15:29)</a>:</h4>
<p>I think the IDE support isn't there yet also</p>



<a name="186399578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399578">(Jan 23 2020 at 15:29)</a>:</h4>
<p>not being able to do F12 (go to definition) would be frustrating</p>



<a name="186399705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399705">(Jan 23 2020 at 15:31)</a>:</h4>
<p>I would be more positively inclined if we had pattern aliases (<a href="https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms" target="_blank" title="https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms">https://ghc.haskell.org/trac/ghc/wiki/PatternSynonyms</a>) and used those, but we don't</p>



<a name="186399716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399716">(Jan 23 2020 at 15:31)</a>:</h4>
<p><code>hir::Expr!(Lit(_))</code> is short-hand for <code>Expr { kind: ExprKind::Lit(_), .. }</code>; but the biggest pain there is what? The written-out <code>ExprKind::</code> ?</p>



<a name="186399744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399744">(Jan 23 2020 at 15:31)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> I think so</p>



<a name="186399747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399747">(Jan 23 2020 at 15:31)</a>:</h4>
<p>Or is even the <code>{ kind:</code> and <code>, .. }</code> annoying?</p>



<a name="186399765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399765">(Jan 23 2020 at 15:31)</a>:</h4>
<p>because one could obviously import the variants (of <code>ExprKind</code>) into scope, right?</p>



<a name="186399773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399773">(Jan 23 2020 at 15:31)</a>:</h4>
<p>presumably the sum total <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="186399808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399808">(Jan 23 2020 at 15:31)</a>:</h4>
<p>well in reality loads of code is matching on <code>expr.kind</code> instead of <code>expr</code></p>



<a name="186399857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399857">(Jan 23 2020 at 15:32)</a>:</h4>
<p>and this leads to nested matches</p>



<a name="186399873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399873">(Jan 23 2020 at 15:32)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> but that's mostly due to <code>P&lt;_&gt;</code> and the lack of arena allocation</p>



<a name="186399876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399876">(Jan 23 2020 at 15:32)</a>:</h4>
<p>with the macro, those nested matches could become "simple" patterns</p>



<a name="186399877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399877">(Jan 23 2020 at 15:32)</a>:</h4>
<p>which is fixed now, for HIR</p>



<a name="186399886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399886">(Jan 23 2020 at 15:32)</a>:</h4>
<p>another example where I could see this pattern being of use is to "group together" some of the variants of types</p>



<a name="186399923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399923">(Jan 23 2020 at 15:32)</a>:</h4>
<p>into categories</p>



<a name="186399960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399960">(Jan 23 2020 at 15:33)</a>:</h4>
<p>the alternative is to create nested enums, but that affects the memory layout</p>



<a name="186399963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186399963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186399963">(Jan 23 2020 at 15:33)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  can you give an example?</p>



<a name="186400006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400006">(Jan 23 2020 at 15:33)</a>:</h4>
<blockquote>
<p>the alternative is to create nested enums, but that affects the memory layout</p>
</blockquote>
<p>Well... <code>#[compact]</code> could be a thing :P</p>



<a name="186400159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400159">(Jan 23 2020 at 15:34)</a>:</h4>
<p>example: <a href="https://github.com/nikomatsakis/chalk-ndm/blob/chalk-ir-proposal/book/src/types/rust_types.md#the-tydata-variants-and-how-they-map-to-rust-syntax" target="_blank" title="https://github.com/nikomatsakis/chalk-ndm/blob/chalk-ir-proposal/book/src/types/rust_types.md#the-tydata-variants-and-how-they-map-to-rust-syntax">compare the chalk types to rustc types</a></p>



<a name="186400169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400169">(Jan 23 2020 at 15:34)</a>:</h4>
<p>side note before we spend too much time on this: eddy mainly wanted to throw this into the room to show that it's possible. It's a low priority thing.</p>



<a name="186400178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400178">(Jan 23 2020 at 15:34)</a>:</h4>
<p>if we solve the memory layout problem, that'd be a nice alternative (one I might prefer, even)</p>



<a name="186400184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400184">(Jan 23 2020 at 15:34)</a>:</h4>
<p>yeah, I understand</p>



<a name="186400205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400205">(Jan 23 2020 at 15:35)</a>:</h4>
<p>I mostly wanted to see if anyone here wants to champion this</p>



<a name="186400222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400222">(Jan 23 2020 at 15:35)</a>:</h4>
<p>in any case, even though I think I could see using it, I'm inclined to say "it's a pattern we're gonna rip out someday"</p>



<a name="186400251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400251">(Jan 23 2020 at 15:35)</a>:</h4>
<blockquote>
<p>in any case, even though I think I could see using it, I'm inclined to say "it's a pattern we're gonna rip out someday"</p>
</blockquote>
<p>In that case I think putting our energies into layout opts would be a better way to spend them</p>



<a name="186400265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400265">(Jan 23 2020 at 15:35)</a>:</h4>
<p>well it sounds like no one here is enthusiastic about this.</p>



<a name="186400274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400274">(Jan 23 2020 at 15:35)</a>:</h4>
<p><code>let_chains</code> and <code>or_patterns</code> should also help btw</p>



<a name="186400285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400285">(Jan 23 2020 at 15:35)</a>:</h4>
<p>the latter of which we might get very soon (on nightly)</p>



<a name="186400351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400351">(Jan 23 2020 at 15:36)</a>:</h4>
<p>so we can leave feedback saying so, and say that we'll close in a week unless a champion comes forward?</p>



<a name="186400571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400571">(Jan 23 2020 at 15:38)</a>:</h4>
<p>okay, what next</p>



<a name="186400602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400602">(Jan 23 2020 at 15:38)</a>:</h4>
<p>given that its the week before release</p>



<a name="186400611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400611">(Jan 23 2020 at 15:38)</a>:</h4>
<p>lets look over the beta-regressions</p>



<a name="186400642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400642">(Jan 23 2020 at 15:39)</a>:</h4>
<p>(<span class="user-mention" data-user-id="116083">@pnkfelix</span> also thanks for reviewing the or-patterns MIR PR btw!)</p>



<a name="186400688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400688">(Jan 23 2020 at 15:39)</a>:</h4>
<p>I'm going to go over all of them, not just T-compiler ones</p>



<a name="186400695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400695">(Jan 23 2020 at 15:39)</a>:</h4>
<p>beta regression: "rustdoc only: duplicate lang item <code>panic_halt</code>" <a href="https://github.com/rust-lang/rust/issues/68427" target="_blank" title="https://github.com/rust-lang/rust/issues/68427">#68427</a></p>



<a name="186400707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400707">(Jan 23 2020 at 15:40)</a>:</h4>
<p><span class="user-mention" data-user-id="210316">@GuillaumeGomez</span> says they are going to look into it</p>



<a name="186400766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400766">(Jan 23 2020 at 15:40)</a>:</h4>
<p>beta regression: "ICE: index out of bounds: the len is 0 but the index is 0" <a href="https://github.com/rust-lang/rust/issues/67945" target="_blank" title="https://github.com/rust-lang/rust/issues/67945">#67945</a></p>



<a name="186400849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400849">(Jan 23 2020 at 15:41)</a>:</h4>
<p>interesting: skiny121 had a proposal to try to sidestep these ICEs, and put up a PR</p>



<a name="186400922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186400922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186400922">(Jan 23 2020 at 15:42)</a>:</h4>
<p>but then <span class="user-mention" data-user-id="119009">@eddyb</span> pointed out issues with that PR <a href="https://github.com/rust-lang/rust/issues/68356" target="_blank" title="https://github.com/rust-lang/rust/issues/68356">#68356</a> here: <a href="https://github.com/rust-lang/rust/pull/68356#issuecomment-576011329" target="_blank" title="https://github.com/rust-lang/rust/pull/68356#issuecomment-576011329">comment</a></p>



<a name="186401047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401047">(Jan 23 2020 at 15:43)</a>:</h4>
<p>anyway we decided <a href="https://github.com/rust-lang/rust/issues/67945#issuecomment-572616705" target="_blank" title="https://github.com/rust-lang/rust/issues/67945#issuecomment-572616705">two weeks ago</a> that we wouldn't block a release on <a href="https://github.com/rust-lang/rust/issues/67945" target="_blank" title="https://github.com/rust-lang/rust/issues/67945">#67945</a></p>



<a name="186401097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401097">(Jan 23 2020 at 15:43)</a>:</h4>
<p>it might be interesting to try to investigate some of the alternative approaches <span class="user-mention" data-user-id="119009">@eddyb</span> put forth in their comment above. But that does not need to happen in the next week.</p>



<a name="186401151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401151">(Jan 23 2020 at 15:44)</a>:</h4>
<p>so lets move on</p>



<a name="186401179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401179">(Jan 23 2020 at 15:44)</a>:</h4>
<p>beta regression: "not Send due to await retainment" <a href="https://github.com/rust-lang/rust/issues/67611" target="_blank" title="https://github.com/rust-lang/rust/issues/67611">#67611</a></p>



<a name="186401274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401274">(Jan 23 2020 at 15:45)</a>:</h4>
<p>when I last spoke to <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> about this, they said they were awaiting feedback on their comment <a href="https://github.com/rust-lang/rust/issues/67611#issuecomment-571760503" target="_blank" title="https://github.com/rust-lang/rust/issues/67611#issuecomment-571760503">here</a></p>



<a name="186401466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401466">(Jan 23 2020 at 15:46)</a>:</h4>
<p>there has been recent discussion with <span class="user-mention" data-user-id="116883">@tmandry</span></p>



<a name="186401473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401473">(Jan 23 2020 at 15:46)</a>:</h4>
<p>Hmm. I've been wanting to make time to dive a bit deeper into what is happening there</p>



<a name="186401485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401485">(Jan 23 2020 at 15:46)</a>:</h4>
<p>but I'm still struggling to understand the outcome of that discussion</p>



<a name="186401522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401522">(Jan 23 2020 at 15:47)</a>:</h4>
<p>it seemed to me like they both agreed that using the Internal flag might be a reasonable solution?</p>



<a name="186401524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401524">(Jan 23 2020 at 15:47)</a>:</h4>
<p>but it seems unlikely that we would fix this in time?</p>



<a name="186401530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401530">(Jan 23 2020 at 15:47)</a>:</h4>
<p>Even though I said I'd look into it this week-end, I have to prepare my talk for the FOSDEM so if you don't see anything coming from me, don't hesitate to take a look!</p>



<a name="186401578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401578">(Jan 23 2020 at 15:47)</a>:</h4>
<blockquote>
<p>it seemed to me like they both agreed that using the Internal flag might be a reasonable solution?</p>
</blockquote>
<p>I think that is right, and I lean this way as well</p>



<a name="186401643"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401643" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401643">(Jan 23 2020 at 15:48)</a>:</h4>
<p>Hum... I actually wonder if I haven't been pinged from a previous meeting... :'(</p>



<a name="186401694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401694">(Jan 23 2020 at 15:48)</a>:</h4>
<p>bottom line is that it seems like we're getting tripped up on something of an "impl detail" but I'm not sure what seems to be the best way to represent that impl detail</p>



<a name="186401698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401698">(Jan 23 2020 at 15:48)</a>:</h4>
<p><span class="user-mention" data-user-id="210316">@GuillaumeGomez</span> we don't normally go over the issues tagged T-rustdoc</p>



<a name="186401713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401713">(Jan 23 2020 at 15:48)</a>:</h4>
<p>but I figured with the release coming up, it would be good to do so</p>



<a name="186401751"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401751" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401751">(Jan 23 2020 at 15:49)</a>:</h4>
<p>(T-rustdoc might want to consider its own triage process)</p>



<a name="186401775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401775">(Jan 23 2020 at 15:49)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> Putting into my high priority todo list</p>



<a name="186401847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401847">(Jan 23 2020 at 15:50)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> we're basically two currently with a third suddenly appearing with a lot of fixes before disappearing</p>



<a name="186401852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401852">(Jan 23 2020 at 15:50)</a>:</h4>
<blockquote>
<p>bottom line is that it seems like we're getting tripped up on something of an "impl detail" but I'm not sure what seems to be the best way to represent that impl detail</p>
</blockquote>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> are you around? Do you think you'll have time in next few days to try to put together the <code>internal</code> approach?</p>



<a name="186401876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> GuillaumeGomez <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401876">(Jan 23 2020 at 15:50)</a>:</h4>
<p>(I'll stop commenting to prevent more noise, sorry!)</p>



<a name="186401952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401952">(Jan 23 2020 at 15:51)</a>:</h4>
<p>I haven't read the issue in depth, but T-Lang was cced, so is there a lang question here as well?</p>



<a name="186401958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401958">(Jan 23 2020 at 15:51)</a>:</h4>
<p>I'll follow up with <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> regarding <a href="https://github.com/rust-lang/rust/issues/67611" target="_blank" title="https://github.com/rust-lang/rust/issues/67611">#67611</a> later</p>



<a name="186401981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401981">(Jan 23 2020 at 15:51)</a>:</h4>
<p><span class="user-mention" data-user-id="126931">@centril</span> I think the lang question is regarding what guarantees we provide regarding auto traits</p>



<a name="186401990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186401990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186401990">(Jan 23 2020 at 15:51)</a>:</h4>
<p>this in particular: <a href="https://github.com/rust-lang/rust/issues/67611#issuecomment-576003133" target="_blank" title="https://github.com/rust-lang/rust/issues/67611#issuecomment-576003133">https://github.com/rust-lang/rust/issues/67611#issuecomment-576003133</a></p>



<a name="186402118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402118">(Jan 23 2020 at 15:52)</a>:</h4>
<p>(is there a typo there? Why does it use <code>!</code> for <code>*mut</code> but no <code>!</code> for <code>*const</code> ? )</p>



<a name="186402122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402122">(Jan 23 2020 at 15:52)</a>:</h4>
<p>It's basically about what types should appear in the generator</p>



<a name="186402137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402137">(Jan 23 2020 at 15:52)</a>:</h4>
<p>It's not really a general question about auto traits</p>



<a name="186402152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402152">(Jan 23 2020 at 15:53)</a>:</h4>
<p>That is clearly not a guarantee you get from auto traits</p>



<a name="186402175"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402175" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402175">(Jan 23 2020 at 15:53)</a>:</h4>
<p>(In the general sense)</p>



<a name="186402177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402177">(Jan 23 2020 at 15:53)</a>:</h4>
<p>Since people can add their own impls, I mean</p>



<a name="186402178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402178">(Jan 23 2020 at 15:53)</a>:</h4>
<blockquote>
<p>I would argue that we're not making such (or really any) guarantees with user defined auto traits.<br>
Yeah, I don't think auto traits should expose layout implementation details of generators.</p>
</blockquote>
<p>Agree with this</p>



<a name="186402298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402298">(Jan 23 2020 at 15:54)</a>:</h4>
<blockquote>
<p>I'll follow up with <span class="user-mention silent" data-user-id="116118">Matthew Jasper</span> regarding <a href="https://github.com/rust-lang/rust/issues/67611" target="_blank" title="https://github.com/rust-lang/rust/issues/67611">#67611</a> later</p>
</blockquote>
<p>Anyway I think we can keep going, assuming I actually follow through on this promise.</p>



<a name="186402360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402360">(Jan 23 2020 at 15:54)</a>:</h4>
<p>beta regression: "const_if_match ICE" <a href="https://github.com/rust-lang/rust/issues/67405" target="_blank" title="https://github.com/rust-lang/rust/issues/67405">#67405</a></p>



<a name="186402401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402401">(Jan 23 2020 at 15:55)</a>:</h4>
<p>hmm I didn't record <em>why</em> we downgraded this to P-medium back in December</p>



<a name="186402445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402445">(Jan 23 2020 at 15:55)</a>:</h4>
<p>oh is it one of those "ICE after you get warned about using an unstable feature " ?</p>



<a name="186402457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402457">(Jan 23 2020 at 15:55)</a>:</h4>
<p>/me <span aria-label="clock" class="emoji emoji-1f557" role="img" title="clock">:clock:</span> 5 minute warning</p>



<a name="186402518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402518">(Jan 23 2020 at 15:56)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> yea, <code>match</code> in const contexts is gated</p>



<a name="186402528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402528">(Jan 23 2020 at 15:56)</a>:</h4>
<p>(on HIR)</p>



<a name="186402548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402548">(Jan 23 2020 at 15:56)</a>:</h4>
<p>yeah okay so we can just let this slide I guess</p>



<a name="186402572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402572">(Jan 23 2020 at 15:56)</a>:</h4>
<p>that or we make it a non-recoverable error</p>



<a name="186402592"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402592" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402592">(Jan 23 2020 at 15:56)</a>:</h4>
<p>but I suspect falling through to an ICE is better.</p>



<a name="186402606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402606">(Jan 23 2020 at 15:57)</a>:</h4>
<p>error message before ICE seems good enough</p>



<a name="186402647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402647">(Jan 23 2020 at 15:57)</a>:</h4>
<p>(it's a very weird edge case)</p>



<a name="186402653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402653">(Jan 23 2020 at 15:57)</a>:</h4>
<blockquote>
<p>/me <span aria-label="clock" class="emoji emoji-1f557" role="img" title="clock">:clock:</span> 5 minute warning</p>
</blockquote>
<p>(luckily both of our WG's  scheduled for checkin are (effectively) retired)</p>



<a name="186402696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402696">(Jan 23 2020 at 15:58)</a>:</h4>
<p>beta regression: "Usage of errorneous constant can be omitted on nightly and beta" <a href="https://github.com/rust-lang/rust/issues/67083" target="_blank" title="https://github.com/rust-lang/rust/issues/67083">#67083</a></p>



<a name="186402793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402793">(Jan 23 2020 at 15:58)</a>:</h4>
<p>cc <a href="https://github.com/rust-lang/rust/issues/679191" target="_blank" title="https://github.com/rust-lang/rust/issues/679191">#679191</a></p>



<a name="186402801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402801">(Jan 23 2020 at 15:58)</a>:</h4>
<p>I fixed this I think but it stays fragile</p>



<a name="186402826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402826">(Jan 23 2020 at 15:59)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> did <a href="https://github.com/rust-lang/rust/issues/679191" target="_blank" title="https://github.com/rust-lang/rust/issues/679191">#679191</a> get fixed as well?</p>



<a name="186402843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402843">(Jan 23 2020 at 15:59)</a>:</h4>
<p>T-lang discussed that one and came to a conclusion</p>



<a name="186402846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402846">(Jan 23 2020 at 15:59)</a>:</h4>
<p>so it's in t-compiler's court now</p>



<a name="186402866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402866">(Jan 23 2020 at 15:59)</a>:</h4>
<p>namely <a href="https://github.com/rust-lang/rust/issues/67191#issuecomment-572810501" target="_blank" title="https://github.com/rust-lang/rust/issues/67191#issuecomment-572810501">Based on the consensus to use NLLs notion of liveness in erroring on live bad constants, I'm moving this over to the compiler team for the implementation.</a></p>



<a name="186402868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402868">(Jan 23 2020 at 15:59)</a>:</h4>
<p>uh, that's not a valid issue id</p>



<a name="186402877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402877">(Jan 23 2020 at 15:59)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/67191" target="_blank" title="https://github.com/rust-lang/rust/issues/67191">#67191</a></p>



<a name="186402879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402879">(Jan 23 2020 at 15:59)</a>:</h4>
<p>sorry</p>



<a name="186402888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186402888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186402888">(Jan 23 2020 at 16:00)</a>:</h4>
<p>ah, no that has not been addressed yet, but that's not a regression either</p>



<a name="186403025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186403025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186403025">(Jan 23 2020 at 16:00)</a>:</h4>
<p>but the known regression in <a href="https://github.com/rust-lang/rust/issues/67083" target="_blank" title="https://github.com/rust-lang/rust/issues/67083">#67083</a> <em>has</em> been addressed, right?</p>



<a name="186403032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186403032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186403032">(Jan 23 2020 at 16:00)</a>:</h4>
<p>yes</p>



<a name="186403039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186403039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186403039">(Jan 23 2020 at 16:01)</a>:</h4>
<p>just checked on the playground</p>



<a name="186403064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186403064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186403064">(Jan 23 2020 at 16:01)</a>:</h4>
<p>right , fixed by PR <a href="https://github.com/rust-lang/rust/issues/67134" target="_blank" title="https://github.com/rust-lang/rust/issues/67134">#67134</a> it seems</p>



<a name="186403104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186403104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186403104">(Jan 23 2020 at 16:01)</a>:</h4>
<p>okay so maybe we can just close <a href="https://github.com/rust-lang/rust/issues/67083" target="_blank" title="https://github.com/rust-lang/rust/issues/67083">#67083</a>  then since <a href="https://github.com/rust-lang/rust/issues/67134" target="_blank" title="https://github.com/rust-lang/rust/issues/67134">#67134</a> was backported?</p>



<a name="186403200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186403200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186403200">(Jan 23 2020 at 16:02)</a>:</h4>
<p>which is what the description of PR <a href="https://github.com/rust-lang/rust/issues/67134" target="_blank" title="https://github.com/rust-lang/rust/issues/67134">#67134</a> indeed implies.</p>



<a name="186403309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186403309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186403309">(Jan 23 2020 at 16:03)</a>:</h4>
<p>3 min over time <span aria-label="clock" class="emoji emoji-1f557" role="img" title="clock">:clock:</span></p>



<a name="186403423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186403423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186403423">(Jan 23 2020 at 16:04)</a>:</h4>
<p>right, well, the only beta-regression left is "Regression in helpful compiler error message when working with lifetimes" <a href="https://github.com/rust-lang/rust/issues/66406" target="_blank" title="https://github.com/rust-lang/rust/issues/66406">#66406</a></p>



<a name="186403440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186403440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186403440">(Jan 23 2020 at 16:04)</a>:</h4>
<p>so we'll just have to live with that</p>



<a name="186403456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186403456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186403456">(Jan 23 2020 at 16:04)</a>:</h4>
<p>and we didn't get to the nominated issues. Sorry. <span aria-label="sad" class="emoji emoji-2639" role="img" title="sad">:sad:</span></p>



<a name="186403491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186403491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186403491">(Jan 23 2020 at 16:04)</a>:</h4>
<p>Thanks all in <span class="user-group-mention" data-user-group-id="897">@T-compiler/meeting</span> for attending!</p>



<a name="186414835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202020-01-23%20%2354818/near/186414835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202020-01-23.20.2354818.html#186414835">(Jan 23 2020 at 17:45)</a>:</h4>
<blockquote>
<p>nnethercote is on PTO until Jan 28</p>
</blockquote>
<p>Took me a second to figure out that PTO was not like PGO or LTO...</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>